Stefano Berardi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Progress in bipolar disorder drug design toward the development of novel therapeutic targets: a clinician’s perspective

Fornaro, Michele, Kardash, Lubna, Novello, Stefano, Fusco, Andrea, Anastasia, Annalisa, De Berardis, Domenico, Perna, Giampaolo, Carta, Mauro Giovanni

Journal:

Expert Opinion on Drug Discovery

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

2

MES-integrated digital twin frameworks

Negri, Elisa, Berardi, Stefano, Fumagalli, Luca, Macchi, Marco

Journal:

Journal of Manufacturing Systems

Year:

2020

File:

PDF, 1.87 MB

2020

3

Agomelatine Augmentation of Escitalopram Therapy in Treatment-Resistant Obsessive-Compulsive Disorder: A Case Report

De Berardis, Domenico, Serroni, Nicola, Marini, Stefano, Martinotti, Giovanni, Ferri, Francesca, Callista, Gaetano, La Rovere, Raffaella, Moschetta, Francesco Saverio, Di Giannantonio, Massimo

Journal:

Case Reports in Psychiatry

Year:

2012

Language:

english

File:

PDF, 62 KB

english, 2012

4

Visits to figurative art museums may lower blood pressure and stress

Mastandrea, Stefano, Maricchiolo, Fridanna, Carrus, Giuseppe, Giovannelli, Ilaria, Giuliani, Valentina, Berardi, Daniele

Journal:

Year:

2018

Language:

english

File:

PDF, 952 KB

english, 2018

5

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3085 || Coercions in Hindley-Milner Systems

Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio

Year:

2004

Language:

english

File:

PDF, 219 KB

english, 2004

6

Efficient solar water oxidation using photovoltaic devices functionalized with earth-abundant oxygen evolving catalysts

Cristino, Vito, Berardi, Serena, Caramori, Stefano, Argazzi, Roberto, Carli, Stefano, Meda, Laura, Tacca, Alessandra, Bignozzi, Carlo Alberto

Journal:

Physical Chemistry Chemical Physics

Year:

2013

Language:

english

File:

PDF, 2.40 MB

english, 2013

7

Phenylsulfonylfuroxans as Modulators of Multidrug-Resistance-Associated Protein-1 and P-Glycoprotein

Fruttero, Roberta, Crosetti, Marco, Chegaev, Konstantin, Guglielmo, Stefano, Gasco, Alberto, Berardi, Francesco, Niso, Mauro, Perrone, Roberto, Panaro, Maria Antonietta, Colabufo, Nicola Antonio

Journal:

Journal of Medicinal Chemistry

Year:

2010

Language:

english

File:

PDF, 1.12 MB

english, 2010

8

Risk of gastrointestinal events with sorafenib, sunitinib and pazopanib in patients with solid tumors: A systematic review and meta-analysis of clinical trials

Santoni, Matteo, Conti, Alessandro, De Giorgi, Ugo, Iacovelli, Roberto, Pantano, Francesco, Burattini, Luciano, Muzzonigro, Giovanni, Berardi, Rossana, Santini, Daniele, Cascinu, Stefano

Journal:

International Journal of Cancer

Year:

2014

Language:

english

File:

PDF, 406 KB

english, 2014

9

Integrazione tra cure primarie e salute mentale a Bologna

Piazza, Antonella, Menchetti, Marco, Mimmi, Stefano, Monari, Marco, Neri, Cecilia, Zanacchini, Emanuela, Tarricone, Ilaria, Donegani, Ivonne, Berardi, Domenico

Journal:

Quaderni Italiani di Psichiatria

Year:

2012

File:

PDF, 382 KB

2012

10

The Melatonergic System in Mood and Anxiety Disorders and the Role of Agomelatine: Implications for Clinical Practice

De Berardis, Domenico, Marini, Stefano, Fornaro, Michele, Srinivasan, Venkataramanujam, Iasevoli, Felice, Tomasetti, Carmine, Valchera, Alessandro, Perna, Giampaolo, Quera-Salva, Maria-Antonia, Martin

Journal:

International Journal of Molecular Sciences

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

11

Proof-irrelevance out of excluded-middle and choice in the calculus of constructions

Barbanera, Franco, Berardi, Stefano

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 369 KB

english, 1996

12

AIP Conference Proceedings [Author(s) VIII INTERNATIONAL CONFERENCE ON “TIMES OF POLYMERS AND COMPOSITES”: From Aerospace to Nanotechnology - Naples, Italy (19–23 June 2016)] - Shape memory behavior of epoxy-based model materials: Tailoring approaches and thermo-mechanical modeling

Pandini, Stefano, Avanzini, Andrea, Battini, Davide, Berardi, Mario, Baldi, Francesco, Bignotti, Fabio

Year:

2016

Language:

english

File:

PDF, 1.23 MB

english, 2016

13

First records of syn -diagenetic non-tectonic folding in quaternary thermogene travertines caused by hydrothermal incremental veining

Billi, Andrea, Berardi, Gabriele, Gratier, Jean-Pierre, Rossetti, Federico, Vignaroli, Gianluca, Baykara, M. Oruç, Bernasconi, Stefano M., Kele, Sándor, Soligo, Michele, De Filippis, Luigi, Shen, Chua

Journal:

Year:

2017

Language:

english

File:

PDF, 4.73 MB

english, 2017

14

Reply to the comment on “First records of syn-diagenetic non-tectonic folding in Quaternary thermogene travertines caused by hydrothermal incremental veining” by Billi et alii

Billi, Andrea, Berardi, Gabriele, Gratier, Jean-Pierre, Rossetti, Federico, Vignaroli, Gianluca, Oruç Baykara, M., Bernasconi, Stefano M., Kele, Sándor, Soligo, Michele, De Filippis, Luigi, Shen, Chua

Journal:

Year:

2017

Language:

english

File:

PDF, 3.34 MB

english, 2017

15

The Identification of Biomarkers Predicting Acute and Maintenance Lithium Treatment Response in Bipolar Disorder: A Plea for Further Research Attention

Fornaro, Michele, De Berardis, Domenico, Anastasia, Annalisa, Novello, Stefano, Fusco, Andrea, Cattaneo, Carlo Ignazio, Solmi, Marco, Monaco, Francesco, Veronese, Nicola, Kim, Yong-Ku, de Bartolomeis,

Journal:

Psychiatry Research

Year:

2018

Language:

english

File:

PDF, 951 KB

english, 2018

16

A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

Stefano Berardi

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 124 KB

english, 2004

17

A strong normalization result for classical logic

Franco Barbanera, Stefano Berardi

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

18

Preface

Steffen van Bakel, Stefano Berardi, Ulrich Berger

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 146 KB

english, 2010

19

Post-ictal circulating levels of allopregnanolone in children with partial or generalized seizures

Salvatore Grosso, Stefano Luisi, Rosario Berardi, Rosa Mostardini, Duccio Maria Cordelli, Guido Morgese, Felice Petraglia, Paolo Balestri

Journal:

Epilepsy Research

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

20

Some intuitionistic equivalents of classical principles for degree 2 formulas

Stefano Berardi

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 242 KB

english, 2006

21

Preface

Steffen van Bakel, Stefano Berardi

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008

22

Pancreatic cancer: Progress in cancer therapy

Chiara Pierantoni, Alessandra Pagliacci, Mario Scartozzi, Rossana Berardi, Maristella Bianconi, Stefano Cascinu

Journal:

Critical Reviews in Oncology/Hematology

Year:

2008

File:

PDF, 175 KB

2008

23

Women and lung cancer: Clinical and molecular profiling as a determinate for treatment decisions: A literature review

Rossana Berardi, Lorena Verdecchia, Marzia Di Pietro Paolo, Riccardo Giampieri, Mario Scartozzi, Chiara Pierantoni, Maristella Bianconi, Paola Mazzanti, Stefano Cascinu

Journal:

Critical Reviews in Oncology/Hematology

Year:

2009

File:

PDF, 191 KB

2009

24

Locally Advanced Rectal Cancer Patients Receiving Radio-Chemotherapy: A Novel Clinical–Pathologic Score Correlates With Global Outcome

Rossana Berardi, Giovanna Mantello, Mario Scartozzi, Stefano Del Prete, Gabriele Luppi, Roberto Martinelli, Marco Fumagalli, Filippo Grillo-Ruggieri, Italo Bearzi, Alessandra Mandolesi, Cristina Marmo

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

2009

Language:

english

File:

PDF, 461 KB

english, 2009

25

A full continuous model of polymorphism

Franco Barbanera, Stefano Berardi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

26

A parallel game semantics for Linear Logic

Stefano Baratella, Stefano Berardi

Journal:

Archive for Mathematical Logic

Year:

1997

Language:

english

File:

PDF, 250 KB

english, 1997

27

Pegylated liposomal doxorubicin, 5-fluorouracil and cisplatin versus mitomycin-C, 5-fluorouracil and cisplatin for advanced gastric cancer: a randomized phase II trial

Stefano Cascinu, Eva Galizia, Roberto Labianca, Francesco Ferraù, Francesca Pucci, Rosa Rita Silva, Gabriele Luppi, Giordano Domenico Beretta, Rossana Berardi, Mario Scartozzi

Journal:

Cancer Chemotherapy and Pharmacology

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

28

A phase II study of neoadjuvant bevacizumab plus capecitabine and concomitant radiotherapy in patients with locally advanced rectal cancer

Giampietro Gasparini, Francesco Torino, Takayuki Ueno, Stefano Cascinu, Teresa Troiani, Alberto Ballestrero, Rossana Berardi, Junichi Shishido, Akihiko Yoshizawa, Yukiko Mori, Satoshi Nagayama, Paola

Journal:

Year:

2012

Language:

english

File:

PDF, 305 KB

english, 2012

29

Novel Perspectives for the Treatment of Gastric Cancer: From a Global Approach to a Personalized Strategy

Mario Scartozzi, Mirco Pistelli, Alessandro Bittoni, Riccardo Giampieri, Eva Galizia, Rossana Berardi, Luca Faloppi, Michela Del Prete, Stefano Cascinu

Journal:

Current Oncology Reports

Year:

2010

Language:

english

File:

PDF, 228 KB

english, 2010

30

Krivine's intuitionistic proof of classical completeness (for countable languages)

Stefano Berardi, Silvio Valentini

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

31

A sequent calculus for limit computable mathematics

Stefano Berardi, Yoriyuki Yamagata

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 353 KB

english, 2008

32

Games with 1-backtracking

Stefano Berardi, Thierry Coquand, Susumu Hayashi

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 545 KB

english, 2010

33

Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

Stefano Berardi, Ugo de’Liguoro

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 355 KB

english, 2008

34

4-blocked hadamard 3-designs

Luigia Berardi, Marco Buratti, Stefano Innamorati

Journal:

Discrete Mathematics

Year:

1997

Language:

english

File:

PDF, 576 KB

english, 1997

35

Functional analysis of the translation factor aIF2/5B in the thermophilic archaeon Sulfolobus solfataricus

Enzo Maone, Michele Di Stefano, Alessandra Berardi, Dario Benelli, Stefano Marzi, Anna La Teana, Paola Londei

Journal:

Molecular Microbiology

Year:

2007

Language:

english

File:

PDF, 593 KB

english, 2007

36

Pichia angusta is an effective biocontrol yeast against postharvest decay of apple fruit caused by Botrytis cinerea and Monilia fructicola

Stefano Fiori, Angela Fadda, Sara Giobbe, Enrico Berardi, Quirico Migheli

Journal:

FEMS Yeast Research

Year:

2008

Language:

english

File:

PDF, 72 KB

english, 2008

37

A Symmetric Lambda Calculus for Classical Program Extraction

Franco Barbanera, Stefano Berardi

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 833 KB

english, 1996

38

The Simply Typed Theory ofβ-conversion Has No Maximum Extension

Franco Barbanera, Stefano Berardi

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 226 KB

english, 1997

39

Retractions on dI-domains as a model for Type:Type

Stefano Berardi

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.32 MB

english, 1991

40

Performance at Preoperative Stair-Climbing Test Is Associated With Prognosis After Pulmonary Resection in Stage I Non-Small Cell Lung Cancer

Alessandro Brunelli, Cecilia Pompili, Rossana Berardi, Paola Mazzanti, Azzurra Onofri, Michele Salati, Stefano Cascinu, Armando Sabbatini

Journal:

The Annals of Thoracic Surgery

Year:

2012

Language:

english

File:

PDF, 498 KB

english, 2012

41

Toward the interpretation of non-constructive reasoning as non-monotonic learning

Stefano Berardi, Ugo de’Liguoro

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

42

Internal models of system F for decompilation

Stefano Berardi, Makoto Tatsuta

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 377 KB

english, 2012

43

Identification of psychiatric distress by primary care physicians

Stefano Pini, Domenico Berardi, Paola Rucci, Marco Piccinelli, Cecilia Neri, Michele Tansella, Giuseppe Ferrari

Journal:

General Hospital Psychiatry

Year:

1997

Language:

english

File:

PDF, 1.00 MB

english, 1997

44

Subthreshold psychiatric disorders in primary care: prevalence and associated characteristics

Paola Rucci, Stefano Gherardi, Michele Tansella, Marco Piccinelli, Domenico Berardi, Giulia Bisoffi, Maria Alessandra Corsino, Stefano Pini

Journal:

Journal of Affective Disorders

Year:

2003

Language:

english

File:

PDF, 85 KB

english, 2003

45

Multidisciplinary treatment of locally advanced rectal cancer: a literature review. Part 1

Pierantoni, Chiara, Bianconi, Maristella, Cascinu, Stefano, Berardi, Rossana, Maccaroni, Elena, Onofri, Azzurra, Giampieri, Riccardo, Bittoni, Alessandro, Pistelli, Mirco, Scartozzi, Mario

Journal:

Expert Opinion on Pharmacotherapy

Year:

2009

Language:

english

File:

PDF, 512 KB

english, 2009

46

Mixed 5-HT1A/D-2 activity of a new model of arylpiperazines: 1-aryl-4-[3-(1,2-dihydronaphthalen-4-yl)-n-propyl]piperazines. 1. Synthesis and structure-activity relationships

Perrone, Roberto, Berardi, Francesco, Colabufo, Nicola A., Tortorella, Vincenzo, Fiorentini, Francesco, Olgiati, Vincenzo, Vanotti, Ermes, Govoni, Stefano

Journal:

Journal of Medicinal Chemistry

Year:

1994

Language:

english

File:

PDF, 807 KB

english, 1994

47

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3085 || Inductive Families Need Not Store Their Indices

Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio

Year:

2004

Language:

english

File:

PDF, 205 KB

english, 2004

48

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1158 || Conservativity of equality reflection over intensional type theory

Berardi, Stefano, Coppo, Mario

Year:

1996

Language:

english

File:

PDF, 767 KB

english, 1996

49

Molecular biology of sporadic gastric cancer: prognostic indicators and novel therapeutic approaches

Mario Scartozzi, Eva Galizia, Federica Freddari, Rossana Berardi, Riccardo Cellerino, Stefano Cascinu

Journal:

Cancer Treatment Reviews

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

50

“Biliary tract cancers: Molecular profiling as a tool for treatment decisions. A literature review” [Cancer Treatment Reviews 32(5) (2006) 333–347]

Rossana Berardi, Mario Scartozzi, Federica Freddari, Michela Squadroni, Alfredo Santinelli, Italo Bearzi, Guidalberto Fabris, Stefano Cascinu

Journal:

Cancer Treatment Reviews

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007